101. Logic in algebraic form. Three languages and theories Amsterdam. North-Holland Pub. Co
پدیدآورنده : Craig, William
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Algebraic logic,، Proof theory
رده :
QA
10
.
C7
102. Logic programming :
پدیدآورنده : James H. Andrews
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
103. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
104. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
105. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen, 8491-
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C669L6
106. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C695
2010
107. Math proofs demystified
پدیدآورنده : Stan Gibilisco
کتابخانه: (هرمزکان)
موضوع : Proof theory - Popuar works
108. Math proofs demystified
پدیدآورنده : / Stan Gibilisco
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical,Proof theory , Popular works,Electronic books. , local
رده :
E-BOOK
109. Math proofs demystified /
پدیدآورنده : Stan Gibilisco
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory, Popular works.
رده :
QA9
.
54
.
G53
2005
110. Math proofs demystified ]CD[
پدیدآورنده : Gibilisco, Stan., Stan Gibilisco
موضوع : Popuar works ، Proof theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
111. Mathematical analysis and proof
پدیدآورنده : / by David S.G. Stirling
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory,Mathematical analysis
رده :
QA9
.
54
.
S757
1997
112. Mathematical analysis and proof /
پدیدآورنده : David S.G. Stirling
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical analysis,Proof theory
رده :
QA9
.
54
.
S75
2009
113. Mathematical analysis and proof
پدیدآورنده : Stirling, David S.G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical analysis,، Proof theory
رده :
QA
300
.
S585
1997
114. Mathematical analysis and proof
پدیدآورنده : Stirling, David S. G.
کتابخانه: (طهران)
موضوع : Mathematical analysis , Proof theory
رده :
QA
300
.
S887
1997
115. Mathematical proof; an elementary approach
پدیدآورنده : / Arthur E. Hallerberg
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Proof theory
رده :
511
.
3
H185
116. Mathematical proofs :
پدیدآورنده : Gary Chartrand, Albert D. Polimeni, Ping Zhang
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory, Textbooks
رده :
QA9
.
54
.
C48
2013
117. Mathematical reasoning :
پدیدآورنده : Ted Sundstrom
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
S86eb
118. Mathematical reasoning
پدیدآورنده : Ted Sundstrom
کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع : Proof theory
119. Mathematical thinking and writing :
پدیدآورنده : / Randall B. Maddox
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
120. Mathematical thinking and writing: a transition to abstract mathematics
پدیدآورنده : Maddox, Randall B.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
54
.
M34
2002
